#include <iostream>

using namespace std;

int main(void){
	int a,b;
	while (cin >> a >> b){
		cout << ((a*b)*2)<<endl; // En un principio lo hice con desplazamiento a la izquierda (para multiplicar por 2) pero olvidaba el caso de los números negativos :S
	}
}
